const Version = document.getElementById("version");
const md = document.getElementById("md");
const TOC = document.getElementById("toc");
export { Version, md, TOC };
